Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines
نویسندگان
چکیده
By combining the abstract state machine (ASM) formalism with the multi-agent modeling paradigm, we obtain a formal framework for semantic modeling and integration of established theories of crime analysis and prediction. We focus here on spatial and temporal aspects of crime in urban areas. Our work contributes to a novel interdisciplinary research effort broadly classified as Computational Criminology.
منابع مشابه
Mastermind: A Computational Framework for Studying Physical Crime
Criminal events are understood in the context of complex interactions between the most important elements of crime, namely: the law, the offender, the target and the place. We outline here an abstract formal framework for describing these elements and their relationships in computational terms. The framework is based on the Abstract State Machine (ASM) method and provides typical elements requi...
متن کاملSpatial Analysis and Modeling Specialty Group Sessions Association of American Geographers
Title: Evolution Computation of Nonlinear Feedback in Alpine Treeline Advance 2. Joseph P. Messina Michigan State University (Presenter) Abstract Title: A Complex Systems Approach to Fine-Scale Intra-farm Level Modeling in the Ecuadorian Amazon 3. Paul Torrens University College London (Presenter) Abstract Title: Geographic Automata Systems 5132. Spatial Analysis and Modeling I (Sponsored by Sp...
متن کاملUtilizing Generalized Learning Automata for Finding Optimal Policies in MMDPs
Multi agent Markov decision processes (MMDPs), as the generalization of Markov decision processes to the multi agent case, have long been used for modeling multi agent system and are used as a suitable framework for Multi agent Reinforcement Learning. In this paper, a generalized learning automata based algorithm for finding optimal policies in MMDP is proposed. In the proposed algorithm, MMDP ...
متن کاملIntegrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines
In this paper we address the problem of integrating UML static and dynamic views, and different behavioral views. We tackle these problems by providing (a) a mapping of UML metamodel static and behavioral elements into ASMs and (b) a precise compositional semantics for state machines. Structural model elements are translated into an ASM vocabulary as collections of domains and functions. The dy...
متن کاملMapping UML into Abstract State Machines: A Framework to Simulate UML Models
The paper presents a simulation framework for UML models based upon a mapping schema of UML metamodel elements into Abstract State Machines (ASMs). Structural model elements are translated into an ASM vocabulary as collections of domains and functions, whereas the dynamic view is captured by multi-agent ASMs reflecting the behavior modelled by UML state machines. In our toolkit, input UML model...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005